[VEX for Algorithmic Design] E20 _ Solver Basics